<HTML><HEAD><TITLE>lp_var_occurrence(?Var, ?Handle, -Index)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(eplex)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>lp_var_occurrence(?Var, ?Handle, -Index)</H1>
Returns the column number Index for Var in the external solver represented by Handle
<DL>
<DT><EM>Var</EM></DT>
<DD>Variable
</DD>
<DT><EM>Handle</EM></DT>
<DD>Handle to a solver state, or a variable
</DD>
<DT><EM>Index</EM></DT>
<DD>Column number for Var in Handle's matrix (integer)
</DD>
</DL>
<H2>Description</H2>

    <P>
    If Handle is a problem handle, then Index is the column number for the
    variable Var in the problem matrix of the external solver presented by
    Handle. If Handle is a variable, then the predicate returns the handles
    and index for each problem handle the variable non-determinately. 
    </P>

<H3>Modes and Determinism</H3><UL>
<LI>lp_var_occurrence(?, +, -)
<LI>lp_var_occurrence(?, -, -)
</UL>
<H3>Resatisfiable</H3>
Yes (if Handle is a variable).

</BODY></HTML>
